- strict equalities
- строгие равенства
English-Russian dictionary of computer science. 2015.
strict equalities
Смотреть что такое "strict equalities" в других словарях:
Higher category theory — is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Contents 1 Strict higher categories 2 Weak higher… … Wikipedia
Ruth Kelly — Infobox Minister honorific prefix = The Right Honourable name = Ruth Kelly MP honorific suffix = office= Secretary of State for Transport term start =27 June 2007 term end =3 October 2008 primeminister=Gordon Brown predecessor =Douglas Alexander… … Wikipedia
Equality of outcome — Equality of outcome, equality of condition, or equality of results is a controversial[1] political concept. Although it is not always clearly defined, it is usually taken to describe a state in which people have approximately the same material… … Wikipedia
Inequality of arithmetic and geometric means — In mathematics, the inequality of arithmetic and geometric means, or more briefly the AM GM inequality, states that the arithmetic mean of a list of non negative real numbers is greater than or equal to the geometric mean of the same list; and… … Wikipedia
Inequality — In mathematics, an inequality is a statement about the relative size or order of two objects, or about whether they are the same or not (See also: equality) *The notation a < b means that a is less than b . *The notation a > b means that a is… … Wikipedia
PSPACE — Unsolved problems in computer science Is P = PSPACE ? PSPACE … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Kilogram — Kg redirects here. For other uses, see Kg (disambiguation). Kilogram A computer generated image of the international prototype kilogram (IPK). The IPK is the kilogram. The IPK, which is roughly the size of a golf ball, sits here alongside a ruler … Wikipedia
Peter Tatchell — Infobox person name = Peter Gary Tatchell image size = 220px caption = Peter Tatchell joining the Green Party in 2004 birth date = Birth date and age|1952|1|25|df=y birth place = Melbourne, Australia occupation = Political campaigner party =Green … Wikipedia
Ruth Kelly — Saltar a navegación, búsqueda Ruth Kelly Secretaria de Estado de Transporte y Gobierno Local Actualmente en el cargo De … Wikipedia Español
classification theory — principles governing the organization of objects into groups according to their similarities and differences or their relation to a set of criteria. Classification theory has applications in all branches of knowledge, especially the… … Universalium
